Eclipse-IT 2013: Proceedings of VIII Workshop of the Italian Eclipse Community
نویسنده
چکیده
The evaluation of security properties of web services is a keyproblem, especially when business processes are dynamical-ly built by composing atomic services provided by di erentsuppliers at runtime. In this paper we present a Java-basedframework for the security certi cation of BPEL-based com-positions of web services. The framework is grounded on thetest-based service certi cation scheme proposed in the con-text of the ASSERT4SOA Project (http://www.assert4soa.eu/) and permits to virtually certify a BPEL-based compo-site service for a set of security properties, starting fromcerti cates awarded to the component services.
منابع مشابه
Variations in the sky brightness during a lunar eclipse
A total lunar eclipse is conjectured to have influence on the physical conditions of an environmental area, particularly on the brightness of the sky. The phenomenon might also be relevant on weather parameters change on Earth, such as temperature, humidity and pressure, though a straightforward correlation is not easy to establish. This work mainly aims at measuring the brightness of the sky a...
متن کاملVerification of Monitor unit calculations for eclipse Treatment Planning System by in- house developed spreadsheet
Introduction: Computerized treatment planning is a rapidly evolving modality that depends on hardware and software efficiency. Despite ICRU recommendations suggesting 5% deviation in dose delivery the overall uncertainty shall be less than 3.5% as suggested by B.J. Minjnheer. J. In house spreadsheets are developed by the medical physicists to cross-verify the dose calculated by the Treatment Pl...
متن کاملDental Materials Effect in Neutron Contamination: Electron Mode of a Linac
Background: Neutron contamination is produced in electron beams of linac when tooth or dental materials are located in the path of beam. Objective: This study aims to determine the neutron dose contamination from different dental restoration materials in electron mode of a linac. Material and Methods: In this experimental study, the neutron dose contamination was calculated in the p...
متن کاملContributing to eclipse: A case study
Open source software has gained a lot of well-deserved attention during the last few years. Eclipse is one of the most successful open source communities providing an open development environment and an application lifecycle platform. The main aim of this paper is to describe a case study on contributing to the Eclipse open source community and report experiences. The most important experiences...
متن کاملTest Suite Comprehension for modular and dynamic systems
Testing plug-in-based systems is challenging due to complex interactions among many different plug-ins, and variations in version and configuration. The objective of this paper is to increase our understanding of what testers and developers think and do when it comes to testing plug-in-based systems. To that end, we conduct a qualitative (grounded theory) study, in which we interview 25 senior ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1310.2464 شماره
صفحات -
تاریخ انتشار 2013